'a -> 'b writer
